heyting algebra - Englisch Synonyme Wörterbuch